You have chosen Intensional Logic, Introspection and Intensional Logic.
All three must be different; choose another text.